”自动机 模糊语言 同步性 计算机科学 理论研究“ 的搜索结果

     托尔胡森挪威奥斯陆大学计算机科学系摘要由于非确定性,开放环境中异步通信对象的测试和验证具有挑战性。我们通过提出一种接口规范语言来探索黑盒测试的正式方法,该语言对对象的行为进行了一种约束-承诺风格的描述...

     阐述了元胞自动机的发展历程、结构、特征及基本理论与方珐; 介绍了元胞自动机在寡头垄断行为、交通管理及工程运输、城市发展、市场营销、股票投资、企业战略等管理领域中的应用; 指出元胞自动机理论的优势与不足,...

     阐述了元胞自动机的发展历程、结构、特征及基本理论与方珐; 指出元胞自动机理论的优势与不足, 1引言 复杂科学 20世纪80年代,以美国圣塔菲(SantaFe)学派为首提出了复杂科学,一经提出,在世界范围内引起了广泛...

     4计算机科学比利时布鲁塞尔自由大学摘要本文在体系结构描述语言和面向方面编程的基础上在我们的研究中,我们引入了组合模式的概念,将当前视觉连接的抽象级别提升到协议,而不是事件/动作对。在我们提出主要主题:...

     一、复杂性科学 原文:Chapter 1 Complexity Science 译者:飞龙 协议:CC BY-NC-SA 4.0 自豪地采用谷歌翻译 这本书的论点是,复杂性科学是一种“新型科学”,我借鉴自 Stephen Wolfram。2002年,Wolfram ...

     程序设计语言 体系结构 数值和符号计算 操作系统 软件方法学和工程 数据库和信息检索系统 人工智能和机器人学 人机通信 算法和数据结构 本领域研究一些特定类型的问题及它们...

     附 录 A CS( 计算机科学)知识体 计算教程 2001 报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望...

10  
9  
8  
7  
6  
5  
4  
3  
2  
1